Feeds to Scour
SubscribedAll
Scoured 77948 posts in 1.02 s
Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks
arxiv.org·1d
🧩SAT Solvers
Preview
Report Post
Building a mini PyTorch in C++ from scratch as a high school student...
dev.to·16h·
Discuss: DEV
🔬Nanopasses
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·17h·
Discuss: Hacker News
λLambda Calculus
Preview
Report Post
Making a Language
thunderseethe.dev·7h
🔬programming language theory
Preview
Report Post
From 75% to 99.6%: The Math of LLM Ensembles
shibaprasadb.com·21h·
Discuss: Hacker News
🌱Minimal ML
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Partial Reductions for Kleene Algebra with Linear Hypotheses
arxiv.org·1d
🐪OCaml GADTs
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·13h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
🗂️Type Indexing
Preview
Report Post
featurestorebook/mlfs-book: O'Reilly book - Building Machine Learning Systems with a feature store: batch, real-time, and LLMs
github.com·4h·
Discuss: Hacker News
🌱Minimal ML
Preview
Report Post
LLMs - What are they good for, anyway?
xkcd.com·1d·
Discuss: DEV
🌱Minimal ML
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·1d
🪞Homoiconicity
Preview
Report Post
MIT’s new ‘recursive’ framework lets LLMs process 10 million tokens without context rot
venturebeat.com·1d·
Discuss: Hacker News, r/technews
🪜Recursive Descent
Preview
Report Post
Get To Grips With Transformers And LLMs
i-programmer.info·1d·
Discuss: Hacker News, r/programming
🌱Minimal ML
Preview
Report Post
On Learning Elixir
denvaar.dev·1d
🚂Error Propagation
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·3d
🔗Lexical Scoping
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·17h
🏗️Cranelift
Preview
Report Post
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·2d
🧩SAT Solvers
Preview
Report Post
GNU C Language Manual
gnu.org·10h
🪄C Metaprogramming
Preview
Report Post
Production-Ready ML Projects: Why Structure Matters More Than Your Model
pub.towardsai.net
·1h
🌳Tree Shaking
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help